Design, Analysis and Verification of Real-Time Systems Based on
- Type:
- Other > E-books
- Files:
- 1
- Size:
- 1.2 MB
- Texted language(s):
- English
- Tag(s):
- journals design analysis it journals
- Uploaded:
- Feb 13, 2013
- By:
- manishpant
IT Journal Design, Analysis and Verification of Real-Time Systems Based on Time Petri Net Refinement ZHIJUN DING and CHANGJUN JIANG, Key Laboratory of Embedded System and Service Computing, Ministry of Education, Tongji University, China MENGCHU ZHOU, New Jersey Institute of Technology